[MINI-OS] unbind_virq is broken and nobody uses it. Remove it.

Signed-off-by: Steven Smith <sos22@cam.ac.uk>

diff --git a/extras/mini-os/events.c b/extras/mini-os/events.c
index 0acacb25277c388e7ba0aff3f69ebaa5e28eb16b..23a0c0a45399f0b6d14956177f413f977ddc9dd4 100644 (file)
--- a/extras/mini-os/events.c
+++ b/extras/mini-os/events.c
@@ -105,11 +105,6 @@ int bind_virq( u32 virq, void (*handler)(int, struct pt_regs *, void *data),
        return 0;
 }
 
-void unbind_virq( u32 port )
-{
-       unbind_evtchn(port);
-}
-
 #if defined(__x86_64__)
 /* Allocate 4 pages for the irqstack */
 #define STACK_PAGES 4

diff --git a/extras/mini-os/include/events.h b/extras/mini-os/include/events.h
index c1b58c4db08d5d95df8323c82b964f72e1e1205d..5e032bb4b4e2387dbfad39e0ec0e2c1b92d98534 100644 (file)
--- a/extras/mini-os/include/events.h
+++ b/extras/mini-os/include/events.h
@@ -30,7 +30,6 @@ int bind_evtchn( u32 virq, void (*handler)(int, struct pt_regs *, void *data),
                                 void *data );
 void unbind_evtchn( u32 port );
 void init_events(void);
-void unbind_virq( u32 port );
 int evtchn_alloc_unbound(void (*handler)(int, struct pt_regs *regs,
                                                                                 void *data),
                                                 void *data);